#include<stdio.h>

int main(void)
{
	char day[][4]={"mon","tue","wed","thu","fri","sat","sun"};
	int a,b,c,d,e,f,g;
	int* x[]={&a,&b,&c,&d,&e,&f,&g};
	int zr[7]; /*值日表，0表示没有人*/
	int failflag;
	int i;
	for(a=0;a<7;a++)
		for(b=0;b<7;b++)
		for(c=0;c<7;c++)
		for(d=0;d<7;d++)
		for(e=0;e<7;e++)
		for(g=0;g<7;g++)
	{
		f=3;
		if ( a==c+1 &&  /*① a大夫值班日比c大夫晚一天。*/
			d==e+2 && /*② d大夫值班日比e大夫晚二天。*/
			b==g-3 && /* ③ b大夫值班日比g大夫早三天。 */
			((b<f &&f<c ) || (c<f && f<b)) && f==3)  /* ④ f大夫值班日在b,c大夫值班日之间，且在星期四（thu）。 */
		{
			for(i=0;i<7;i++)
			{
				zr[i]=0;
			}

			failflag=0;
			for(i=0;i<7;i++)
			{
				if(zr[*x[i]]){
					failflag=1;
					break;
				}
				else
				{
					zr[*x[i]]=1;
				}
			}
			if(failflag)
				continue;
			for(i=0;i<7;i++)
			{
				printf("%c : %s\n",'a'+i,day[*x[i]]);
			}
			return 0;
		}
	}
	return 0;
}
